A generalization of de Vries duality to closed relations between compact Hausdorff spaces

Stone duality generalizes to an equivalence between the categories StoneR of spaces and closed relations BAS boolean algebras subordination relations. Splitting equivalences in yields a category that is equivalent KHausR compact Hausdorff Similarly, splitting DeVS de Vries compatible Applying machinery allegories then DeVS, thus resolving problem recently raised literature. The further restricts KHaus continuous functions wide subcategory DeVF whose morphisms satisfy additional conditions. This alternative duality. One advantage this approach composition usual relation composition.